为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......

R是有限链环，M是其极大理想，K=R／M；则建立了K[x]中一类多项式在R[x]中的Hensel提升；证明了多项式的Hensel提升不依赖于n的选择，证明了K[x......

针对浮点乘仿真验证时覆盖率不全面和边界角用例定位难的问题,提出一种随机法和Hensel lifting理论联合的浮点乘测试用例生成方法.......